منابع مشابه
Observation et stabilisation d ’ ondes : géométrie et coût du contrôle
Mémoire présenté pour l'habilitationà diriger des recherches, spécialité mathématiques.
متن کاملGéométrie Des Groupes Oscillateurs Et Variétés Lo- Calement Symétriques
The Oscillator Groups,Gλ, are the only solvable, non commutative, simply connected Lie groups to admit a Lorentzian bi-invariant metric. For these groups, we give sufficient conditions for a left-invariant pseudo-Riemannian metric to be complete, we determine the group of isometries, we exhibit a left-invariant affine structure and prove that it is not Lorentzian. As an application, we provide ...
متن کاملAlgorithmique pour l'analyse et la modélisation en géométrie discrète
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کامل/'1 Context and Cognition Contexte Et Cognition
Context and cognition: Introduction (Contexte et cognition: introduction) r Guy Tiberghien 105 Context and sensory processes: ln search of basic laws (Contexte et processus senso-~ riels : à la recherche des lois fondamentales) t .' Lawrence E. Marks 121 \, Visual perception in context (La perception visuelle en contexte) ~ Claude Bonnet 137 Context effects in episodic memory: a review (Les eff...
متن کاملFormalisation en Coq et visualisation d'un cours de géométrie pour le lycée
Teaching high-school mathematics using a general theorem prover becomes a reachable goal for the near future. In this article, we present a library dealing with geometry in Coq. This library is dedicated to high-school teaching. We stress on using a graphical interface and a drawing tool which ease the accessibility to formal statements. We present some significant examples of statements with f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revue de Synthèse
سال: 2003
ISSN: 0035-1776
DOI: 10.1007/bf02963398